#include "typedef.h"

extern void cli();
extern void sti();
extern void outb(int, byte);
extern byte inb(int);
extern void crash();
extern void load_CR3(u32);
extern u32 get_CR2();
extern void enable_paging();
extern u32 get_arg();

/*
void cli();
void sti();
void outb(int, byte);
byte inb(int);
*/
